Schaub, Torsten : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (100)
Les plus populaires
Liste
- Liste
- Tableau

1

Answer Set Solving in Practice

Gebser, Martin, Kaminski, Roland, Kaufmann, Benjamin, Schaub, Torsten

Journal:

Synthesis Lectures on Artificial Intelligence and Machine Learning

Année:

2012

Langue:

english

Fichier:

PDF, 1.94 MB

english, 2012

2

Expressing preferences in default logic

James P. Delgrande, Torsten Schaub

Journal:

Artificial Intelligence

Année:

2000

Langue:

english

Fichier:

PDF, 400 KB

english, 2000

3

Alternative foundations for Reiter's default logic

Thomas Linke, Torsten Schaub

Journal:

Artificial Intelligence

Année:

2000

Langue:

english

Fichier:

PDF, 443 KB

english, 2000

4

Prolog technology for default reasoning: proof theory and compilation techniques

Torsten Schaub, Stefan Brüning

Journal:

Artificial Intelligence

Année:

1998

Langue:

english

Fichier:

PDF, 5.52 MB

english, 1998

5

A consistency-based approach for belief change

James P Delgrande, Torsten Schaub

Journal:

Artificial Intelligence

Année:

2003

Langue:

english

Fichier:

PDF, 399 KB

english, 2003

6

Reasoning with Sets of Defaults in Default Logic

James P. Delgrande, Torsten Schaub

Journal:

Computational Intelligence

Année:

2004

Langue:

english

Fichier:

PDF, 261 KB

english, 2004

7

Ergonomic assessment of automotive assembly tasks with digital human modelling and the 'ergonomics assessment worksheet' (EAWS)

Schaub, Karlheinz G., Mühlstedt, Jens, Illmann, Benjamin, Bauer, Sebastian, Fritzsche, Lars, Wagner, Torsten, Hoffmann, Angelika C. Bullinger, Bruder, Ralph

Journal:

International Journal of Human Factors Modelling and Simulation

Année:

2012

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2012

8

$${\varvec{teaspoon}}$$teaspoon: solving the curriculum-based course timetabling problems with answer set programming

Banbara, Mutsunori, Inoue, Katsumi, Kaufmann, Benjamin, Okimoto, Tenda, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki, Wanko, Philipp

Journal:

Annals of Operations Research

Année:

2018

Langue:

english

Fichier:

PDF, 653 KB

english, 2018

9

Design Space Exploration with Answer Set Programming

Haubelt, Christian, Neubauer, Kai, Schaub, Torsten, Wanko, Philipp

Journal:

KI - Künstliche Intelligenz

Année:

2018

Langue:

english

Fichier:

PDF, 678 KB

english, 2018

10

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

GEBSER, MARTIN, OBERMEIER, PHILIPP, SCHAUB, TORSTEN, RATSCH-HEITMANN, MICHEL, RUNGE, MARIO

Journal:

Theory and Practice of Logic Programming

Année:

2018

Langue:

english

Fichier:

PDF, 330 KB

english, 2018

11

Clingcon: The next generation

BANBARA, MUTSUNORI, KAUFMANN, BENJAMIN, OSTROWSKI, MAX, SCHAUB, TORSTEN

Journal:

Theory and Practice of Logic Programming

Année:

2017

Langue:

english

Fichier:

PDF, 438 KB

english, 2017

12

Train Scheduling with Hybrid Answer Set Programming

ABELS, DIRK, JORDI, JULIAN, OSTROWSKI, MAX, SCHAUB, TORSTEN, TOLETTI, AMBRA, WANKO, PHILIPP

Journal:

Theory and Practice of Logic Programming

Année:

2020

Fichier:

PDF, 565 KB

2020

13

Alternative approaches to default logic

James P. Delgrande, Torsten Schaub, W. Ken Jackson

Journal:

Artificial Intelligence

Année:

1994

Langue:

english

Fichier:

PDF, 3.44 MB

english, 1994

14

Compiling specificity into approaches to nonmonotonic reasoning

James P. Delgrande, Torsten H. Schaub

Journal:

Artificial Intelligence

Année:

1997

Langue:

english

Fichier:

PDF, 3.09 MB

english, 1997

15

Default reasoning by deductive planning

Michael Thielscher, Torsten Schaub

Journal:

Journal of Automated Reasoning

Année:

1995

Langue:

english

Fichier:

PDF, 3.08 MB

english, 1995

16

A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning

James Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang

Journal:

Computational Intelligence

Année:

2004

Langue:

english

Fichier:

PDF, 166 KB

english, 2004

17

Conflict-driven answer set solving: From theory to practice

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Journal:

Artificial Intelligence

Année:

2012

Langue:

english

Fichier:

PDF, 494 KB

english, 2012

18

[Lecture Notes in Computer Science] Inconsistency Tolerance Volume 3300 ||

Bertossi, Leopoldo, Hunter, Anthony, Schaub, Torsten

Année:

2005

Langue:

english

Fichier:

PDF, 2.54 MB

english, 2005

19

Towards a classification of defaults logics

Link, Thomas, Schaub, Torsten

Journal:

Journal of Applied Non-Classical Logics

Année:

1997

Langue:

english

Fichier:

PDF, 2.65 MB

english, 1997

20

Reasoning credulously and skeptically within a single extension

Delgrande, James P., Schaub, Torsten

Journal:

Journal of Applied Non-Classical Logics

Année:

2002

Langue:

english

Fichier:

PDF, 659 KB

english, 2002

21

aspeed: Solver scheduling via answer set programming

HOOS, HOLGER, KAMINSKI, ROLAND, LINDAUER, MARIUS, SCHAUB, TORSTEN

Journal:

Theory and Practice of Logic Programming

Année:

2015

Langue:

english

Fichier:

PDF, 237 KB

english, 2015

22

Automatic construction of parallel portfolios via algorithm configuration

Lindauer, Marius, Hoos, Holger, Leyton-Brown, Kevin, Schaub, Torsten

Journal:

Artificial Intelligence

Année:

2016

Langue:

english

Fichier:

PDF, 1.05 MB

english, 2016

23

Clingo goes linear constraints over reals and integers

JANHUNEN, TOMI, KAMINSKI, ROLAND, OSTROWSKI, MAX, SCHELLHORN, SEBASTIAN, WANKO, PHILIPP, SCHAUB, TORSTEN

Journal:

Theory and Practice of Logic Programming

Année:

2017

Langue:

english

Fichier:

PDF, 191 KB

english, 2017

24

High-level synthesis of on-chip multiprocessor architectures based on answer set programming

Bobda, Christophe, Yonga, Franck, Gebser, Martin, Ishebabi, Harold, Schaub, Torsten

Journal:

Journal of Parallel and Distributed Computing

Année:

2018

Langue:

english

Fichier:

PDF, 1.30 MB

english, 2018

25

The Potsdam Answer Set Solving Collection 5.0

Gebser, Martin, Kaminski, Roland, Kaufmann, Benjamin, Lühne, Patrick, Obermeier, Philipp, Ostrowski, Max, Romero, Javier, Schaub, Torsten, Schellhorn, Sebastian, Wanko, Philipp

Journal:

KI - Künstliche Intelligenz

Année:

2018

Langue:

english

Fichier:

PDF, 840 KB

english, 2018

26

Advanced Solving Technology for Dynamic and Reactive Applications

Brewka, Gerhard, Ellmauthaler, Stefan, Kern-Isberner, Gabriele, Obermeier, Philipp, Ostrowski, Max, Romero, Javier, Schaub, Torsten, Schieweck, Steffen

Journal:

KI - Künstliche Intelligenz

Année:

2018

Langue:

english

Fichier:

PDF, 677 KB

english, 2018

27

Multi-shot ASP solving with clingo

GEBSER, MARTIN, KAMINSKI, ROLAND, KAUFMANN, BENJAMIN, SCHAUB, TORSTEN

Journal:

Theory and Practice of Logic Programming

Année:

2018

Langue:

english

Fichier:

PDF, 888 KB

english, 2018

28

Temporal Answer Set Programming on Finite Traces

CABALAR, PEDRO, KAMINSKI, ROLAND, SCHAUB, TORSTEN, SCHUHMANN, ANNA

Journal:

Theory and Practice of Logic Programming

Année:

2018

Langue:

english

Fichier:

PDF, 238 KB

english, 2018

29

Experimenting with robotic intra-logistics domains

GEBSER, MARTIN, OBERMEIER, PHILIPP, OTTO, THOMAS, SCHAUB, TORSTEN, SABUNCU, ORKUNT, NGUYEN, VAN, SON, TRAN CAO

Journal:

Theory and Practice of Logic Programming

Année:

2018

Langue:

english

Fichier:

PDF, 425 KB

english, 2018

30

Hybrid metabolic network completion

FRIOUX, CLÉMENCE, SCHAUB, TORSTEN, SCHELLHORN, SEBASTIAN, SIEGEL, ANNE, WANKO, PHILIPP

Journal:

Theory and Practice of Logic Programming

Année:

2019

Langue:

english

Fichier:

PDF, 1.25 MB

english, 2019

31

Gelfond–Zhang aggregates as propositional formulas

Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Schellhorn, Sebastian

Journal:

Artificial Intelligence

Année:

2019

Langue:

english

Fichier:

PDF, 463 KB

english, 2019

32

[IEEE 2019 International Interdisciplinary PhD Workshop (IIPhDW) - Wismar, Germany (2019.5.15-2019.5.17)] 2019 International Interdisciplinary PhD Workshop (IIPhDW) - Data-based prediction of particle emissions during manoeuvring of ships

Schaub, Michele, Finger, Georg, Dahms, Felix, Hassel, Egon, Jeinsch, Torsten, Kirchhoff, Matthias

Année:

2019

Langue:

english

Fichier:

PDF, 1.29 MB

english, 2019

33

POSSIBLE WORLDS SEMANTICS FOR DEFAULT LOGICS

Besnard, Philippe, Schaub, Torsten

Journal:

Fundamenta Informaticae

Année:

1994

Fichier:

PDF, 1.52 MB

1994

34

CHO gene expression profiling in biopharmaceutical process analysis and design

Jochen Schaub, Christoph Clemens, Peter Schorn, Tobias Hildebrandt, Werner Rust, Detlev Mennerich, Hitto Kaufmann, Torsten W. Schulz

Journal:

Biotechnology and Bioengineering

Année:

2010

Langue:

english

Fichier:

PDF, 498 KB

english, 2010

35

A consistency-based framework for merging knowledge bases

James P. Delgrande, Torsten Schaub

Journal:

Journal of Applied Logic

Année:

2007

Langue:

english

Fichier:

PDF, 242 KB

english, 2007

36

Knowledge-based multi-criteria optimization to support indoor positioning

Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2011

Langue:

english

Fichier:

PDF, 854 KB

english, 2011

37

Modeling Biological Networks by Action Languages via Answer Set Programming

Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 834 KB

english, 2008

38

Centurio, a General Game Player: Parallel, Java- and ASP-based

Maximilian Möller, Marius Schneider, Martin Wegner, Torsten Schaub

Journal:

KI - Künstliche Intelligenz

Année:

2011

Langue:

english

Fichier:

PDF, 508 KB

english, 2011

39

Attachment of Trypanosoma cruzi Epimastigotes to Hydrophobic Substrates and Use of this Property to Separate Stages and Promote Metacyclogenesis

Torsten Kleffmann, Jürgen Schmidt, Gunter A. Schaub

Journal:

Journal of Eukaryotic Microbiology

Année:

1998

Langue:

english

Fichier:

PDF, 1.22 MB

english, 1998

40

Ionic composition of the rectal contents and excreta of the reduviid bug Triatoma infestans

Astrid H Kollien, Thorsten Grospietsch, Torsten Kleffmann, Irene Zerbst-Boroffka, Günter A Schaub

Journal:

Journal of Insect Physiology

Année:

2001

Langue:

english

Fichier:

PDF, 132 KB

english, 2001

41

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 5753 ||

Erdem, Esra, Lin, Fangzhen, Schaub, Torsten

Année:

2009

Langue:

english

Fichier:

PDF, 10.28 MB

english, 2009

42

Novel Insights into Structure and Function of Factor XIIIa-Inhibitor Tridegin

Böhm, Miriam, Bäuml, Charlotte A., Hardes, Kornelia, Steinmetzer, Torsten, Roeser, Dirk, Schaub, Yvonne, Than, Manuel E., Biswas, Arijit, Imhof, Diana

Journal:

Journal of Medicinal Chemistry

Année:

2014

Langue:

english

Fichier:

PDF, 4.95 MB

english, 2014

43

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 5753 || An ASP-Based Data Integration System

Erdem, Esra, Lin, Fangzhen, Schaub, Torsten

Année:

2009

Langue:

english

Fichier:

PDF, 246 KB

english, 2009

44

Minimal intervention strategies in logical signaling networks with ASP

KAMINSKI, ROLAND, SCHAUB, TORSTEN, SIEGEL, ANNE, VIDELA, SANTIAGO

Journal:

Theory and Practice of Logic Programming

Année:

2013

Langue:

english

Fichier:

PDF, 334 KB

english, 2013

45

Learning Boolean logic models of signaling networks with ASP

Videla, Santiago, Guziolowski, Carito, Eduati, Federica, Thiele, Sven, Gebser, Martin, Nicolas, Jacques, Saez-Rodriguez, Julio, Schaub, Torsten, Siegel, Anne

Journal:

Theoretical Computer Science

Année:

2014

Langue:

english

Fichier:

PDF, 2.15 MB

english, 2014

46

Tableau Calculi for Logic Programs under Answer Set Semantics

Gebser, Martin, Schaub, Torsten

Journal:

ACM Transactions on Computational Logic

Année:

2013

Langue:

english

Fichier:

PDF, 1.92 MB

english, 2013

47

A Model-Theoretic Approach to Belief Change in Answer Set Programming

Delgrande, James, Schaub, Torsten, Tompits, Hans, Woltran, Stefan

Journal:

ACM Transactions on Computational Logic

Année:

2013

Langue:

english

Fichier:

PDF, 322 KB

english, 2013

48

[Lecture Notes in Computer Science] Inconsistency Tolerance Volume 3300 || On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases

Bertossi, Leopoldo, Hunter, Anthony, Schaub, Torsten

Année:

2005

Langue:

english

Fichier:

PDF, 325 KB

english, 2005

49

[IEEE 2008 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Dayton, OH, USA (2008.11.3-2008.11.5)] 2008 20th IEEE International Conference on Tools with Artificial Intelligence - The System BioC for Reasoning about Biological Models in Action Language C

Dworschak, Steve, Grote, Torsten, König, Arne, Schaub, Torsten, Veber, Philippe

Année:

2008

Langue:

english

Fichier:

PDF, 429 KB

english, 2008

50

[IEEE 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI) - Arras, France (2010.10.27-2010.10.29)] 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - The BioASP Library: ASP Solutions for Systems Biology

Gebser, Martin, Konig, Arne, Schaub, Torsten, Thiele, Sven, Veber, Philippe

Année:

2010

Langue:

english

Fichier:

PDF, 438 KB

english, 2010